1. Verification, model checking, and abstract interpretatio
Author: / Gilles Barthe, Manuel Hermenegildo (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
